Software Testability: The New Verification
نویسندگان
چکیده
Software veriication encompasses a wide range of techniques and activities that are geared towards demonstrating that software is reliable. Veriication techniques such as testing provide a way to assess the likelihood that software will fail during use. This paper introduces a diierent type of ver-iication that shows how likely it is that an incorrect program will not fail. Our veriication applies fault-injection methods to predict where actual faults are more likely to hide. This veriication can be combined with software testing to assess a conndence that the code is not hiding faults. Code that hides faults is diicult to test. In order to minimize the problem of hidden faults, we seek methods for identifying and isolating source code that is likely to hide faults. We also introduce the notion of \information loss," a characteristic that can be measured during the early phases of design to suggest where the planned software is likely to harbor faults that will be diicult to uncover during testing.
منابع مشابه
Hierarchical interfaces for hardware software systems
Competent design of hierarchical interfaces for hardware/software systems needs the convergence of three concurrent research directions: the study of hierarchy types, the intelligent communication between different domains, the formalization of verification/test. We aim to extend the theory of hierarchy types, in order to integrate communication properties as well as correctness and testability...
متن کاملFurther the Effectiveness of Software Testability Measure
Software testability is proposed to address the problem of increasing cost of test and the quality of software. Testability measure provides a quantified way to denote the testability of software. Since 1990s, many testability measure models are proposed to address the problem. By discussing the contradiction between domain testability and domain range ratio (DRR), a new testability measure, se...
متن کاملEnsuring a High Quality Digital Device through Design for Testability
An electronic device is reliable if it is available for use most of the times throughout its life. The reliability can be affected by mishandling and use under abnormal operating conditions. High quality product cannot be achieved without proper verification and testing during the product development cycle. If the design is difficult to test, then it is very likely that most of the faults will ...
متن کاملBehavior-Preserving Transformations for Design-for-Test
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controllability and observability of the internal system behavior. This can be achieved by introducing Points of Control and Observation (PCOs) in a system. In this paper, we examine the effects of PCO insertion in a behaviora...
متن کاملOn the Verification and Validation of Software Modules: Applications in Teaching and Practice
Modular programming is a discipline of bottom-up programming that is based on the principle of information hiding, whereby each module of a software product exports its specification but hides its design. This principle offers many advantages, including support for better maintainability, better testability, better reliability, and better reusability. Object Oriented programming languages suppo...
متن کاملTestability Measurement and Software Dependencies
Testability is an important quality characteristic of software. A lack of testability contributes to a higher test and maintenance effort. Metrics can be used locate parts of a program which contribute to a lack of testability. In this paper we present a new approach to define metrics for software dependencies. We use this approach in the context of testability to identify test-critical depende...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IEEE Software
دوره 12 شماره
صفحات -
تاریخ انتشار 1995